atomic formula 【化學】原子式，結構式。
【化學】原子式，結構式。 “atomic“ 中文翻譯： adj. 1.原子的。 2.極微的。 3.強大的。 “formula“ 中文翻譯： n. (pl. formulas, -lae ) 1.公 ...“atomic mass formula“ 中文翻譯： 原子質量公式“by formula“ 中文翻譯： 按公式“formula“ 中文翻譯： n. (pl. formulas, -lae ) 1.公式，程式；定則，方案。 2.【醫學】配方，處方。 3.(政治口號等的)提法，表述，套語，慣用語句。 4.【宗教】信仰表白書。 5.【化學】式；【數學】公式。 a formula for making soap 肥皂制法[配方]。 formula of integration 積分公式。 a binominal formula 【數學】二項式。 a legal formula 法律上的慣用語句。 a molecular formula 【化學】分子式。 a structural formula 【化學】結構式，構造式。 adj. (賽車)方程式的(指賽車要符合規定的體積，重量及汽缸容量等)。 “the formula“ 中文翻譯： 魔頭對魔頭“atomic atomic emission spectrometry“ 中文翻譯： 原子發射光譜法“atomic radii(＝atomic radius)“ 中文翻譯： 原子半徑“air-atomic“ 中文翻譯： 投原子彈“at atmosphere；atomic“ 中文翻譯： 大氣層；原子的“atomar atomic“ 中文翻譯： 原子的“atomic a orption“ 中文翻譯： 原子吸收作用“atomic absorption“ 中文翻譯： 原子吸收作用“atomic abundance“ 中文翻譯： 原子豐度“atomic accelerator“ 中文翻譯： 原子加速器; 原子粒子加速器“atomic action“ 中文翻譯： 原子動作原子酌; 原子突擊“atomic adsorption“ 中文翻譯： 原子吸附“atomic age“ 中文翻譯： 原子時代。 “atomic aggregate“ 中文翻譯： 原子集合體“atomic aircraft“ 中文翻譯： 原子武器飛機“atomic ammunition“ 中文翻譯： 原子彈藥“atomic amplifier“ 中文翻譯： 原子放大器“atomic apparatus“ 中文翻譯： 原子核物理儀器; 原子能裝置“atomic arrageement“ 中文翻譯： 原子配列“atomic arrangement“ 中文翻譯： 原子排列
atomic group |
|
In this paper , it is shown that some atomic formulas of symbolic states generated by the algorithms can be removed to improve the model checking time - and space - efficiency . such atomic formulas are called as irrelevant atomic formulas . a method is also presented to detect irrelevant formulas based on the test - reset information about clock variables 一個時間自動機是一個五元組n , l 0 , c , e , i ，其中n為一個有窮的位置集合， l 0n是初始狀態， c是一個取實數值的時鐘變量的有窮集合， e ng c 2 cn是轉換的集合。 |
|
A time constraint is a conjunction of atomic formulas which bound the differences of clock values 時間自動機是可以用于對實時系統建模的有效工具。 |
|
Removing irrelevant atomic formulas for checking timed automata efficiently . in proc 因此，無關的原子約束是廣泛存在的。 |
|
Remove irrelevant atomic formulas for timed automaton model checking 時間自動機的模型檢驗中消除無關原子約束 |
|
The atomic formula is called atom for short in predicate calculus 在謂詞演算中,有時將原子公式簡稱為原子。 |